Abstract data and local reasoning
نویسنده
چکیده
Data and Local Reasoning Thomas Dinsdale-Young Submitted in part fulfilment of the requirements for the degree of Doctor of Philosophy in Computing of the University of London and the Diploma of Imperial College, November 2010
منابع مشابه
Segment logic
O’Hearn, Reynolds and Yang introduced local Hoare reasoning about mutable data structures using separation logic. They reason about the local parts of the memory accessed by programs, and thus construct their smallest complete specifications. Gardner et al. generalised their work, using context logic to reason about structured data at the same level of abstraction as the data itself. In particu...
متن کاملThe Impact of Hydrochloride Heroin on Mental Flexibility, Abstract Reasoning, Impulsivity, and Attention
Introduction: Drug addiction could lead to severe impairments in executive and neurocognitive functions but study on the impact of hydrochloride heroin on executive functions has remained in infancy in Iran. The aim of this study was to examine the relationship between addiction to hydrochloride heroin and executive functioning in several cognitive domains including mental flexibility, abstract...
متن کاملاثربخشی آموزش اصول اخلاق پرستاری بر استدلال اخلاقی پرستاران
Abstract Background & Aim: Ethical reasoning is one of the criteria for professional qualifications of nurses. Promoting the principles of professional performance through emphasis on ethics reinforce the ethical reasoning in nurses. Therefore, this study aimed to evaluate the impact of training on ethical reasoning among nurses. Material & Methods: This study is Quasi-experimental (prete...
متن کاملAbstract Dialectical Frameworks for Legal Reasoning
Dialectical Frameworks for Legal Reasoning Latifa AL-ABDULKARIM, Katie ATKINSON, Trevor BENCH-CAPON Department of Computer Science, The University of Liverpool, UK Abstract. In recent years a powerful generalisation of Dung’s abstract argumentation frameworks, Abstract Dialectical Frameworks (ADF), has been developed. ADFs generalise the abstract argumentation frameworks introduced by Dung by r...
متن کاملتوانایی استدلال اخلاقی دانشجویان پرستاری دانشگاه علوم پزشکی شهید صدوقی یزد
Abstract Background & Aim: The setting of nursing care provision is full of ethical dilemas which requires moral reasoning ability. This study was designed to evaluate the moral reasoning ability of nursing students of Shahid Sadoughi University of Medical Sciences in Yazd city. Material & Methods: It was a descriptive correlational study that was conducted in 2012. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011